hard hat history